机译:消息传递软件框架半自动综合的静态分析技术
机译:循环连接消息传递通信协议中基于最弱前提的形式系统
机译:循环连接消息传递通信协议中基于最弱前提的形式系统
机译:通过正式分析迈向可靠和高效的消息传递软件
机译:用于消息传递接口和线程程序的有效动态验证的启发式方法。
机译:分布式尖峰神经网络仿真中的有效传递消息
机译:移动代理高效可靠地传递消息
机译:使用基于矢量的消息进行高效的消息传递解码(Effektiv meddelandebaserad avkodning med Vektomeddelanden)